On Specifying Requirements Using a Semantically Controlled Representation
نویسندگان
چکیده
Requirements are typically specified in natural languages (NL) such as English and then analyzed by analysts and developers to generate formal software design/model. However, English is ambiguous and the requirements specified in English can result in erroneous and absurd software designs. We propose a semantically controlled representation based on SBVR for specifying requirements. The SBVR based controlled representation can not only result in accurate and consistent software models but also machine process able because SBVR has pure mathematical foundation. We also introduce a java based implementation of the presented approach that is a proof of concept.
منابع مشابه
A Step Towards Ambiguity Less Natural Language Software Requirements Specifications
In modern software engineering practice, the ability to specify ambiguity less software requirements in a natural language (NL) in a seamless way is highly valuable and desirable. Though, the software requirements are typically captured in natural languages (NL) such as English, there is a very high probability that more than half NL requirements can be ambiguous. For example, Mich identified t...
متن کاملFormalizing Business Process Using Hybrid Programs
A semantic annotation of business processes with concepts from ontology has become necessity in service provisioning. There have been few work on semantically labeling business processes in terms of ontology that formalizes business process structure, business domains etc. However, dynamic behavior of a process cannot be captured by such means as ontology languages are not suitable for specifyi...
متن کاملA Controlled Natural Language Interface to Class Models
The available approaches for automatically generating class models from natural language (NL) software requirements specifications (SRS) exhibit less accuracy due to informal nature of NL such as English. In the automated class model generation, a higher accuracy can be achieved by overcoming the inherent syntactic ambiguities and semantic inconsistencies in English. In this paper, we propose a...
متن کاملHierarchical Translation Equivalence over Word Alignments
We present a theory of word alignments in machine translation (MT) that equips every word alignment with a hierarchical representation with exact semantics defined over the translation equivalence relations known as hierarchical phrase pairs. The hierarchical representation consists of a set of synchronous trees (called Hierarchical Alignment Trees – HATs), each specifying a bilingual compositi...
متن کاملA Domain Specific Modelling Language for Specifying and Visualizing Requirements
Requirements can cause substantial problems in large software projects if not handled correctly and efficiently. The problems of missing requirements or incorrect de-scoping of projects are virtually the most prominent ones. Combining graphical representation of requirements and organizing these requirements in several abstraction levels was identified as one of the potential solutions to such ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011